Proving trigonometric equations